is

Automatically deduced from the following:
Property Value
Id If Then
42
248 ¬
431 ¬
295 ¬
307 ( )
306 ( ∧¬ )