Say you have a ternary predicate Procurement$($Supplier$,$ Component, Project$).$ Also, say you have three binary Predicates as follows: Supplies$\_$supplies$\_$Component$($Supplier$,$ Component$)$ Component$\_$used$\_$in$\_$Project$($Component$,$ Project$)$ Supplier$\_$involved$\_$in$\_$Project$($Supplier$,$ Project$).$ For a particular set of Supplier$=$S$1,$ Component $=$ C$1$ and Project $=$ P$1($more than one options may be correct$)$: If all three binary predicates are true, the ternary predicate is also true If the ternary predicate is true, then all the three binary predicates are true If all three binary predicates are true, the ternary predicate may or may not be true If the ternary predicate is true, then all the three binary predicates may or may not be true