!7 static withToList record Did$HappenBefore$(O event1, O event2) {} static withToList record WhenDid$Happen(O event) {} static withToList record $HappensAtSecond$(O event, O y) {} p-exp { testFunctionValues defaultRecordParse( "Did X happen before Y?" := Did$HappenBefore$("X", "Y"), "when did Z happen" := WhenDid$Happen("Z"), "{event 1} happens at second 100" := $HappensAtSecond$("event 1", 100) ); }