if the following are true:- expression state at time 13 = "begin_expr"
- Class Map at time 13 = [ ]
then Class Map at time 14 = [ ]
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
then Class Map at time 14 = [ ]
Start from the conclusion and work back up the proof. Click the arrow to show the parents.