Assertion: predicate's word | /r/ObjectUse | used to its usage
Facets:
value: similarly
type: MANNER
value: in predicate logic
type: OTHER
Source sentences:
text: The basic idea is that each instruction is associated with a predicate (the word here used similarly to its usage in predicate logic) and that the instruction will only be executed if the predicate is true.