OpSys_Pax2.02> verification implication correlation abstract entity-cluster == proto-extant entity-cluster ? OpSys_Pax2.02> verification implication...
OpSys_Pax2.02> verification/analysis "alien" = external proto-extant entity-cluster ? OpSys_Pax2.02> verification entity-cluster "alien" require...
Separate names with a comma.