isand an ontology, e.g.
p is Person. From this point on you can use the reference p in the condition to refer to an instance of the ontology Person.
andon line 3 means that both elements in the condition have to be 'true', in order for the proof to be requested in the case.
and thenon line 3 connects the two expressions. Both have to evaluate to true in order for the rule to be executed, similarly to the operator
and. However, with
and thenthe second expression is not evaluated if the first expression has already been evaluated to false.