Assertion: feature | /r/CreatedBy | boolean variable
Facets:
Source sentences:
text: Each feature corresponds to a boolean variable and the semantics is captured as a propositional formula.