concepts.language.ccg.semantics.CCGSemantics#

class CCGSemantics[source]#

Bases: CCGComposable

CCGSemantics is a wrapper of a semantic form (a functor or a value).

Methods

`bapp`(lhs)	Backward application composition.
`compose`(rhs, composition_type)	Compose this element with another element.
`coord`(other)	Coordination composition.
`coord3`(lhs, rhs)	Coordination composition with three elements.
`fapp`(rhs)	Forward application composition.
`none`(rhs)	None composition (composition with a None element).

Attributes

`arity`
`flags`	A set of flags that indicates the type of the semantics.
`hash`
`is_conj`	Whether the semantics is a conjunction.
`is_constant`	Whether the semantics is a constant.
`is_function`	Whether the semantics is a function.
`is_function_application`	Whether the semantics is a function application expression.
`is_lazy`	Whether the semantics is a lazy value.
`is_none`	Whether the semantics is None.
`is_py_function`	Whether the semantics is a Python function.
`is_value`	Whether the semantics is a value (either a constant or a function application expression).
`return_type`	The return type of the semantics.
`value`	The semantic form.

__init__(value, *, is_conj=False)[source]#

Parameters:

value (None | Callable | Function | ConstantExpression | FunctionApplicationExpression | CCGSemanticsLazyValue)
is_conj (bool)

__new__(**kwargs)#

bapp(lhs)#

Backward application composition.

Parameters:: lhs (CCGComposable)
Return type:: CCGComposable

compose(rhs, composition_type)#

Compose this element with another element. This function will call the corresponding composition function according to the composition type. Note that since the coordination composition has three arguments, this function will return a CCGCoordinationImmNode for the first two arguments in coordination composition.

Parameters:

rhs (CCGComposable | CCGCoordinationImmNode) – the right-hand side element.
composition_type (CCGCompositionType) – the composition type.

Returns:

The composed element.

Return type:

CCGComposable | CCGCoordinationImmNode

coord(other)#

Coordination composition.

Parameters:: other (CCGComposable | CCGCoordinationImmNode)
Return type:: CCGComposable | CCGCoordinationImmNode

coord3(lhs, rhs)#

Coordination composition with three elements.

Parameters:

lhs (CCGComposable)
rhs (CCGComposable)

Return type:

CCGComposable

fapp(rhs)#

Forward application composition.

Parameters:: rhs (CCGComposable)
Return type:: CCGComposable

none(rhs)#

None composition (composition with a None element).

Parameters:: rhs (CCGComposable)
Return type:: CCGComposable

property arity#

property flags: Dict[str, bool]#: A set of flags that indicates the type of the semantics.

property hash#

property is_conj#: Whether the semantics is a conjunction.

property is_constant#: Whether the semantics is a constant.

property is_function#: Whether the semantics is a function.

property is_function_application#: Whether the semantics is a function application expression.

property is_lazy#: Whether the semantics is a lazy value.

property is_none#: Whether the semantics is None.

property is_py_function#: Whether the semantics is a Python function.

property is_value#: Whether the semantics is a value (either a constant or a function application expression).

property return_type#: The return type of the semantics. If the semantics is a function or a value, the return type is the type of the function or the value. Otherwise, this function will raise an error.

property value: Callable | Function | ConstantExpression | FunctionApplicationExpression | CCGSemanticsLazyValue#: The semantic form.