Assertion: future | /r/CapableOf | exclude middle
Facets:
value: for (p5)
type: TRANSITIVE-OBJECT
Source sentences:
text: In order to avoid confusion, we shall use the modified name, ‘future excluded middle’, for (P5).