test03.s revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
( ( T /\ F ) \/ T ) <- ( [ mop1 ] T <-> T ) <-> ~ ~ F \/ T -> T