Assertion: logic's property | /r/HasProperty | unexplored
Facets:
value: currently
type: TEMPORAL
Source sentences:
text: Apart from the commutativity of +, the structural properties of the justification operations are currently unexplored, although the potential for such an exploration is exciting.