Example:
The explosives destroyed the warehouseArgument Structure:
Sbj V ObjForce dynamics:
Physical COSPredicate calculus:
VerbNet class:
destroy-44VerbNet case frame:
NP.instrument V NPAspect:
DirectedAchievement
Theme-of(y,e) & Component-of(a,explosives) & Component-of(b,warehouse) & CycAch(a,i,j,q1) & DirAch(b,i,k,q2) & INTL(q1) & COS(q2) & FRC(a,b)